Statistical model checking for biological applications
نویسندگان
چکیده
منابع مشابه
Computing Biological Model Parameters by Parallel Statistical Model Checking
Biological models typically depend on many parameters. Assigning suitable values to such parameters enables model individualisation. In our clinical setting, this means finding a model for a given patient. Parameter values cannot be assigned arbitrarily, since inter-dependency constraints among them are not modelled and ignoring such constraints leads to biologically meaningless model behaviour...
متن کاملModel Checking for Biological Systems: Languages, Algorithms, and Applications
Formal methods hold great promise in promoting further discovery and innovation for complicated biological systems. Models can be tested and adapted inexpensively in-silico to provide new insights. However, development of accurate and efficient modeling methodologies and analysis techniques is still an open challenge. This thesis proposal is focused on designing appropriate modeling formalisms ...
متن کاملChecking & Distributing Statistical Model Checking
In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of...
متن کاملStatistical Model Checking in
Statistical model-checking is a recent technique used for both verification and performance analysis of hybrid systems. It does not suffer from decidability issues or state-space explosion compared to traditional model-checking. Furthermore, it is applicable to more powerful formalisms such as stochastic hybrid automata. Its principle is simple so how simple is it really to make it work in prac...
متن کاملModel Checking Biological Oscillators
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. The semantics of their interactions, parametric w.r.t. a model of synchronization, is introduced. We apply it to the Kuramoto model. Then, we introduce a logic, Kuramoto Synchronization Logic (KSL), and a model checking algorithm in order to verify collective synchronization prope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2014
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-014-0343-0